lconnects(p;i;j)
== lpath(p)
== & (||p|| = 0  i = j)
== & (||p|| = 0  i = source(hd(p)) & j = destination(last(p))) 

latex

---

clarification:

lconnects(p;i;j)
== lpath(p)
== & (||p|| = 0    i = j  Id)
== & (||p|| = 0    i = source(hd(p))  Id & j = destination(last(p))  Id) 

latex

Definitions	lconnects(p;i;j), lpath(p), P  Q, A, ||as||, P & Q, source(l), hd(l), Id, destination(l), last(L)
FDL editor aliases	lconnects